| Name | Size | |
|---|---|---|
| .. | ||
| README.md | 372 B | log stats plain blame |
| docker-container | 38 B | log stats plain |
| my-code | 261 B | log stats plain |
| run.sh | 320 B | log stats plain blame |
| stop.sh | 57 B | log stats plain blame |
This directory contains a docker container description, example programs in COOL, and supporting code. Install docker, make sure dockerd is up and running, and use run.sh to start the container. You now have a shell into the container. Print the README.md inside there for more instructions.
Once you leave the shell, stop the container and remove the image via stop.sh.